Keel's base point free theorem and quotients in mixed characteristic

We develop techniques of mimicking the Frobenius action in study universal homeomorphisms mixed characteristic. As a consequence, we show characteristic Keel's base point free theorem obtaining applications towards Minimal Model Program, generalise Kollár's on existence quotients by finite equivalence relations to characteristic, and provide new proof affine group schemes.